graph theory:directed graph